<?php

/**
 * @package phpcr
 */
class phpCr_NumberFormatException extends phpCr_Exception
{
}

